French translation for "boolean satisfiability problem"

problème sat

Example Sentences:

	1.	An instance of the Boolean satisfiability problem is a Boolean expression that combines Boolean variables using Boolean operators. Une instance de SAT est une expression booléenne qui combine des variables booléennes avec des opérateurs booléens.
	2.	The proof shows that any problem in NP can be reduced in polynomial time (in fact, logarithmic space suffices) to an instance of the Boolean satisfiability problem. La preuve montre que chaque problème dans NP peut-être réduit en temps polynomial (en fait, LOGSPACE suffit) à une instance de SAT.
	3.	In computational complexity theory, the Cook–Levin theorem, also known as Cook's theorem, states that the Boolean satisfiability problem is NP-complete. En informatique théorique, plus précisément en théorie de la complexité, le théorème de Cook aussi appelé théorème de Cook-Levin est le théorème qui affirme que le problème SAT, c'est-à-dire le problème de satisfiabilité d'une formule de la logique propositionnelle, est NP-complet.
	4.	For example, he showed the problem 3SAT (the Boolean satisfiability problem for expressions in conjunctive normal form with exactly three variables or negations of variables per clause) to be NP-complete by showing how to reduce (in polynomial time) any instance of SAT to an equivalent instance of 3SAT. Par exemple, on peut prouver que le problème 3-SAT (le problème SAT où chaque clause est composé d'au plus trois variables (ou leur négation) en forme normale conjonctive) est NP-complet en exhibant une réduction de SAT vers une instance équivalente de 3-SAT.

Similar Words：

"boolean operation" French translation, "boolean operations on polygons" French translation, "boolean operator" French translation, "boolean prime ideal theorem" French translation, "boolean ring" French translation, "boolean search" French translation, "booligal" French translation, "boolite, victoria" French translation, "boom" French translation